Combining Crowd and Machines for Multi-predicate Item Screening
نویسندگان
چکیده
منابع مشابه
Crowd-based Multi-Predicate Screening of Papers in Literature Reviews
Systematic literature reviews (SLRs) are one of the most common and useful form of scientific research and publication. Tens of thousands of SLRs are published each year, and this rate is growing across all fields of science. Performing an accurate, complete and unbiased SLR is however a difficult and expensive endeavor. This is true in general for all phases of a literature review, and in part...
متن کاملCrowd-Machine Collaboration for Item Screening
In this paper we describe how crowd and machine classifier can be efficiently combined to screen items that satisfy a set of predicates. We show that this is a recurring problem in many domains, present machine-human (hybrid) algorithms that screen items efficiently and estimate the gain over human-only or machine-only screening in terms of performance and cost.
متن کاملtight frame approximation for multi-frames and super-frames
در این پایان نامه یک مولد برای چند قاب یا ابر قاب تولید شده تحت عمل نمایش یکانی تصویر برای گروه های شمارش پذیر گسسته بررسی خواهد شد. مثال هایی از این قاب ها چند قاب های گابور، ابرقاب های گابور و قاب هایی برای زیرفضاهای انتقال پایاست. نشان می دهیم که مولد چند قاب تنک نرمال شده (ابرقاب) یکتا وجود دارد به طوری که مینیمم فاصله را از ان دارد. همچنین مسایل مشابه برای قاب های دوگان مطرح شده و برخی ...
15 صفحه اولPsychometric Properties of 20-Item and 10-Item Persian Versions of Drug Abuse Screening Test
Introduction: Substance use disorder is one of the most critical social problems in Iran. For this disorder, weneed a proper assessment tool based on our indigenous culture. Objective: This study assesses the factor structure and psychometric properties of 10-item and 20-item Persian versions of Drug Abuse Screening Tests (DAST-10 and DAST-20). Materials and Methods: In this cross-sectional s...
متن کاملPredicate Abstraction and Refinement for Model Checking VHDL State Machines
In this paper we present an automatic combination of abstraction-refinement by which we translate a VHDL model describing a state system to an initial equivalent abstract system described by SMV to explore its state space to verify CTL properties. We present the method implemented to compute automatically abstractions using decision procedures. This method can handle different kinds of infinite...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Human-Computer Interaction
سال: 2018
ISSN: 2573-0142
DOI: 10.1145/3274366